Allegories and Theory in Zonkaku's Kenmyosho
نویسندگان
چکیده
منابع مشابه
Decidability of the equational theory of allegories
Freyd and Scedrov showed that the equational theory of representable allegories (essentially those allegories which have a settheoretic representation as relations) is decidable. This paper proves that the pure equational theory of allegories is decidable.
متن کاملGroups in Allegories
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.
متن کاملAlgorithms and allegories
I was writing and thinking about the algorithmic and the allegoric. I’ve been struck by how so much contemporary art practice has been informed by the algorithmic. Having done work in information engines and various net art pieces using algorithms for the display and organization of information, I was equally intrigued by what we get after we’ve deployed all these little engines and are outside...
متن کاملComplements in Distributive Allegories
It is know in topos theory that axiom of choice implies that the topos is Boolean. In this paper we want to prove and generalize this result in the context of allegories. In particular, we will show that partial identities do have complements in distributive allegories with relational sums and total splittings assuming the axiom of choice. Furthermore, we will discuss possible modifications of ...
متن کاملCardinality in Allegories
In this paper we want to investigate two notions of the cardinality of relations in the context of allegories. The different axiom systems are motivated on the existence of injective and surjective functions, respectively. In both cases we provide a canonical cardinality function and show that it is initial in the category of all cardinality functions over the given allegory.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu)
سال: 2007
ISSN: 0019-4344,1884-0051
DOI: 10.4259/ibk.56.1_48